Multi-engine Horn Clause Prolog
نویسندگان
چکیده
منابع مشابه
Concurrent Programming Constructs in Multi-Engine Prolog
We discuss the impact of the separation of logic engines (independent logic processing units) and multi-threading on the design of parallel programming constructs aware of the fundamental invariant of today’s typical computer architectures: the presence of a few independent cores. We advocate a combination of coroutining constructs with focus on expressiveness and a simplified, multithreading A...
متن کاملCoordination and Concurrency in Multi-engine Prolog
We discuss the impact of the separation of logic engines (independent logic processing units) and multi-threading on the design of coordination mechanisms for a Prolog based agent infrastructure. We advocate a combination of coroutining constructs with focus on expressiveness and a simplified, multi-threading API that ensures optimal use available parallelism. In this context, native multi-thre...
متن کاملSmallest Horn Clause Programs
The simplest non{trivial program pattern in logic programming is the following one : 8 < : p(fact) : p(left) p(right) : p(goal) : where fact, goal, left and right are arbitrary terms. Because the well known append program matches this pattern, we will denote such programs \append{like". In spite of their simple appearance, we prove in this paper that termination and satissability (i.e the exist...
متن کاملGeneralized Horn Clause Programs
This paper considers, in a general setting, an axiomatic basis for Horn clause logic programming. It characterizes a variety of \Horn-clause-like" computations, arising in contexts such as deductive databases, various abstract interpretations, and extensions to logic programming involving E-uniication, quantitative deduction, and inheritance, in terms of two simple operators , and discusses alg...
متن کاملHorn Clause Contraction Functions
In classical, AGM-style belief change, it is assumed that the underlying logic contains classical propositional logic. This is clearly a limiting assumption, particularly in Artificial Intelligence. Consequently there has been recent interest in studying belief change in approaches where the full expressivity of classical propositional logic is not obtained. In this paper we investigate belief ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2000
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80104-5